1. شرح الهیات شفاء
پدیدآورنده : شارح مصباح، محمدتقی، ۱۳۱۳-
کتابخانه: كتابخانه آیت الله العظمی بروجردی (مسجد اعظم) (قم)
موضوع : مقالهها و خطابهها اسلام,نقد و تفسیر ابنسینا، حسینبن عبدالله، ۳۷۰ - ۴۲۸ ق. الشفاء,متون قدیمی تا قرن ۱۴ فلسفه اسلامی,متون قدیمی تا قرن ۱۴ مابعدالطبیعه

2. شرح برهان شفا
پدیدآورنده : شارح مصباح، محمدتقی، ۱۳۱۳-
کتابخانه: كتابخانه آیت الله العظمی بروجردی (مسجد اعظم) (قم)
موضوع : مقالهها و خطابهها اسلام,نقد و تفسیر ابنسینا، حسینبن عبدالله، ۳۷۰ - ۴۲۸ ق. الشفاء,متون قدیمی تا قرن ۱۴ فلسفه اسلامی,متون قدیمی تا قرن ۱۴ مابعدالطبیعه
